subspace proof linear algebra